Rodents With Conditional ACVR1 Mutant Alleles

ABSTRACT

A genetically modified mouse is provided that comprises a conditional Acvr1 allele that comprises a mutated exon that, upon induction, converts to a mutant exon phenotype, wherein the mutant exon phenotype includes ectopic bone formation. Mice comprising a mutant Acvr1 exon 5 in antisense orientation, flanked by site-specific recombinase recognition sites, are provided, wherein the mice further comprise a site-specific recombinase that recognizes the site-specific recombinase recognitions sites, wherein the recombinase is induced upon exposure of the mouse to tamoxifen. Upon exposure to tamoxifen, the recombinase is expressed and acts on the RRS-flanked mutant exon 5 and places the mutant exon 5 in sense orientation and deletes the wild-type exon.

CROSS-REFERENCE TO RELATED APPLICATION

The present application is a non-provisional of U.S. 61/778,814, filed Mar. 13, 2013, incorporated by reference in its entirety for all purposes.

REFERENCE TO A SEQUENCE LISTING IN COMPUTER READABLE FORM

The application includes sequences in txt file 439616SEQLIST.txt created Feb. 21, 2014, and 1 kbyte in size, which is incorporated by reference.

FIELD

Genetically modified non-human animals that have a mutant allele of an Acvr1 gene; nucleic acid constructs that comprise conditional mutants of an Acvr1 gene; non-human animals that exhibit a phenotypical feature of fibrodysplasia ossificans progressiva (FOP). Genetically modified mice that exhibit ectopic bone formation. Non-human animals containing conditional mutant ACRV1 alleles that are expressed ex utero but not in utero.

BACKGROUND

Acrv1 is a type I receptor for bone morphogenic proteins (BMPs). Certain mutations in the human Acvr1 gene, including mutations that give rise to the amino acid modification R206H mutation, are strongly associated with the disease fibrodysplasia ossificans progressiva (FOP) (see, e.g., US Pat. Appl. Publ. No. 2009/0253132; see also, Pignolo, R. J. (2011) Fibrodysplasia Ossificans Progressiva: Clinical and Genetic Aspects, Orphanet Journal of Rare Diseases, 6:80, 1-6). The R206H mutation, among others, is believed to increase sensitivity of the receptor to activation and render it more resistant to silencing. Chimeric mice that bear an R206H mutation in Acvr1 develop an FOP-like phenotype (see, e.g., Chakkalakal et al. (2012) An Acvr1 R206H knock-in mouse has fibrodysplasia ossificans progressiva, J. Bone and Mineral Res. 27:1746-1756).

Certain mutations in the Acvr1, e.g., those resulting in an R206H Acvr1 protein mutation, are perinatal lethal in mice. Where a mutation is perinatal lethal, it is not possible to pass a knock-in gene comprising the mutation through the germline of a non-human animal. For example, the above-mentioned studies required working with chimeric mice that possess in some cells the indicated mutation but that are unable to transmit the mutation in the germline; thus, a stable and useful mouse line has not been established that comprises the R206H mutation in the germline. There remains a need for non-human animals that can transmit an ACRV1 mutation that is perinatal or embryonic lethal in the germline to produce progeny that are useful, e.g., to produce a non-human animal that exhibits a phenotype associated with the ACRV1 mutation, e.g. FOP, an FOP feature, or a feature of a related disorder, or a related disorder.

SUMMARY

Genetically modified non-human animals are provided that comprise in their germline a nucleic acid sequence that comprises a modification of an Acvr1 gene.

Genetically modified non-human animals are provided that comprise in their germline a nucleic acid sequence that comprises a conditional genetic modification of an Acvr1 gene, wherein the genetic modification renders the non-human animal susceptible to ectopic bone formation.

Genetically modified non-human animals are provided that comprise in their germline a nucleic acid sequence that comprises a conditional genetic modification comprising a conditional mutant Acvr1 exon, wherein induction of expression of the conditional mutant Acvr1 exon confers upon the non-human animal a susceptibility to ectopic bone formation. In one embodiment, the mutant Acvr1 exon is exon 5. In a specific embodiment, the mutation expresses an Acvr1-encoded protein having an exon 5 with a R2026H mutation.

Non-human animals are provided that conditionally express a mutant Acvr1 allele. In various aspects, the mutant Acvr1 allele is an allele that confers a pathological phenotype on the non-human animal expressing the allele. In various aspects, the non-human animals comprise a mutant exon of an Acvr1 allele flanked upstream and downstream with site-specific recombinase recognition sites (SRRS's), and the non-human animal comprises a recombinase that recognizes the SRRS's, wherein the recombinase is inducible.

Non-human animals are provided that comprise a modification of an Acvr1 allele that causes (in one embodiment, in a heterozyogte; in one embodiment, in a homozygote), promotes, or makes the non-human animal susceptible to ectopic ossification.

Non-human animals are provided that comprise a conditional mutation of an Acvr1 allele, wherein the mutant Acvr1 allele is not expressed in utero, and is not expressed perinatally, and wherein the non-human animals express the mutant Acvr1 allele in a conditional manner, wherein the conditional expression is induced by administration of a compound of interest to the non-human animal.

Acvr1 loci are provided that comprise a modification that comprises a conditional mutant exon, wherein the conditional mutant exon is expressed upon an experimentally-induced induction.

In one aspect, a genetically modified Acvr1 locus is provided, comprising a mutant exon in antisense orientation, flanked upstream and downstream by SRRS's. In one embodiment, the locus is present in a non-human animal that further comprises an inducible recombinase gene that recognizes the SRRS's that flank the mutant exon.

In one aspect, a non-human animal is provided that comprises a modified Acvr1 locus comprising a mutant exon in antisense orientation, wherein the mutant exon is flanked upstream and downstream by RSSR's that are oriented to direct an inversion when acted upon by a recombinase that recognizes the RSSR's. In one embodiment, the mutant exon upon inversion replaces the corresponding wild-type exon of the Acvr1 locus. In one embodiment, the non-human animal further comprises an inducible recombinase gene, wherein the recombinase of the inducible recombinase gene recognizes the RSSR's. In a specific embodiment, the RSSR's are lox sites or variants thereof, the recombinase is Cre, and the recombinase is inducible by tamoxifen. In a specific embodiment, the recombinase is a Cre-ER^(T2). In one embodiment, the non-human animal is a rodent, e.g., a mouse or rat. In a specific embodiment, the rodent is a rat, and the mutant Acvr1 exon is exon 5.

In one aspect, a genetically modified mouse is provided that comprises a nucleic acid construct comprising a mutant exon 5 (e5) encoding an R206H mutation, wherein the mutant e5 is present in antisense orientation and is flanked upstream and downstream by RSSRs oriented to direct an inversion of the mutant e5; and the mouse comprises an inducible recombinase gene encoding a recombinase that is capable of inverting the antisense mutant e5 exon to sense orientation.

In one aspect, a genetically modified mouse is provided that comprises a nucleic acid construct at an Acvr1 locus in the germline of the mouse, wherein the nucleic acid construct comprises, with respect to the direction of transcription of the Acvr1 gene, a construct comprising a wild-type e5 gene in sense orientation and a mutant e5 allele in antisense orientation, wherein upstream of the wild-type e5 allele is a first RSSR (RSSR1) that is compatible with a second RSSR (RSSR2) located just downstream (with respect to transcriptional direction of the Acvri gene) of the antisense mutant e5, wherein RSSR1 and RSSR2 are oriented to direct an inversion. The construct further comprises a third RSSR (RSSR3) disposed between the wild-type e5 and the mutant antisense e5, and the construct further comprises a fourth RSSR (RSSR4) that is compatible with RSSR3, and which is located downstream (with respect to the direction of orientation of the Acvr1 gene) of RSSR2, wherein RSSR3 and RSSR4 are oriented to direct an inversion. Each RSSR (1-4) is recognized by the same inducible recombinase.

In one embodiment, the inducible recombinase is in the germline of the mouse.

In one embodiment, the RSSR sites are recognizable by a Cre recombinase.

In one embodiment, RSSR1 and RSSR2 are lox2372 sites; RSSR3 and RSSR4 are loxP sites, and the inducible recombinase is a CreER^(T2) (see, e.g., FIG. 1).

In one embodiment, RSSR1 and RSSR2 are loxP sites; RSSR3 and RSSR4 are lox2372 sites, and the inducible recombinase is a CreER^(T2) (see, e.g., FIG. 1).

In one embodiment, the CreER^(T2) is present at the ROSA26 locus (e.g., Gt(ROSA26)Sor^(CreERT2/+).

In one aspect, a genetically modified mouse is provided comprising the genotype Acvr1^([R206H]COIN/+); Gt(ROSA26)Sor^(creERt2/+).

In one aspect, a genetically modified rodent is provided that expresses a normal Acvr1 exon 5 in utero and perinatally, wherein upon treatment of the genetically modified rodent with a recombinase, the mouse expresses an Acvr1-encoded protein that comprises a mutation encoded by exon 5. In one embodiment, the mutation is an exon 5 mutation that encodes a R206H mutation.

In one aspect, an adult rodent is provided that expresses a mutant Acvr1 gene product characterized by a R206H modification, wherein at least 99% of the cells of the mouse comprise a mutant Acvr1 gene encoding the R206H modification.

In one aspect, a genetically modified rodent is provided that comprises a mutant Acvr1 gene product characterized by a R206H modification, wherein the mutant Acvr1 gene is present in at least 90%, 95%, 96%, 97%, 98%, or 99% or more of the cells of the genetically modified rodent.

In one aspect, a genetically modified rodent is provided, wherein the rodent comprises an Acvr1 locus in its germline that, upon exposure to a recombinase, expresses a protein encoded by the Acvr1 locus that comprises a R206H modification.

In one aspect, a rodent is provided that expresses a mutant protein comprising a R206H mutation, wherein the mouse is non-chimeric. In one embodiment, the extent of chimerism of the rodent is no more than 1%.

In one aspect, a mouse is provided that expresses a mutant protein from a modified Acvr1 locus in the germline of the mouse, wherein all Acvr1-expressing cells of the mouse comprise a modified Acvr1 gene that encodes an Acvr1 protein that comprises an R206H modification. In one embodiment, all germ cells of the mouse comprise a modified Acvr1 locus comprising a conditional genetic modification that encodes an Acvr1 protein with an R206H modification.

In one aspect, a genetically modified mouse comprising an engineered Acvr1^([R206H]COIN) allele is provided, wherein the first codon of human ACVR1 exan 5 (isoform 003) is modified encode an E, wherein at the protein level the humanized exon is identical to the wild type mouse Acvr1 exon 5 (isoform 001).

In one aspect, a mouse is provided that comprises a conditional genetic modification of an Acvr1 gene, wherein the modification changes an amino acid in an ACVR1 α-helix comprising ACVR1 amino acids 198-206 and results in a constitutive activation of the protein encoded by the Acvr1 locus.

In one embodiment, the conditional genetic modification is in an amino acid selected from amino acid 198, 199, 200, 201, 202, 203, 204, 205, 206, and a combination thereof. In a specific embodiment, the amino acid is 206, and the modification is a nucleotide change that forms a codon for histidine.

In one embodiment, the mouse is heterozygous for the conditional genetic modification. In one embodiment, the mouse is homozygous for the conditional genetic modification.

In various aspects, the non-human animal is a mammal. In one embodiment, the mammal is a rodent. In one embodiment, the rodent is selected from the group consisting of a mouse, a rat, and a hamster. In a specific embodiment, the rodent is a mouse.

In various aspects, the genetically modified non-human animal comprises an array of RSSR's that are arranged to direct a deletion of a wild-type Acvr1 exon 5 and place a mutant exon 5 from an antisense orientation to a sense orientation.

In various aspects, the genetically modified non-human animal further comprises an inducible recombinase that acts upon a nucleic acid construct in the Acvr1 locus to remove the wild-type exon and replace it with the mutant exon. In one embodiment, the inducible recombinase is CreER^(T2).

In various aspects, the genetically modified non-human animals, upon expression of the mutant Acvr1 allele, are capable of expressing the alternate (wild-type) allele.

In various aspects, the genetically modified non-human animal that expresses the mutant Acvr1 allele is a model for an ectopic ossification disorder. In one embodiment, the ectopic ossification disorder is fibrodysplasia ossificans progressiva (FOP).

In various aspects, genetically modified non-human animals are provided that conditionally express a mutant Acvr1 allele comprising a mutant exon 5 (e.g., expressing a protein comprising an R206H mutation) upon exposure to tamoxifen, wherein the non-human animals comprise a tamoxifen-inducible recombinase that converts a wild-type exon 5 to a mutant exon 5 within the Acvr1 gene.

BRIEF DESCRIPTION OF THE DRAWINGS

FIG. 1 illustrates design of a conditional allele at an Acvr1 locus that converts, e.g., a mouse Acvr1 exon 5 to a human R206H exon using loxp and lox2372 sites.

FIG. 2 illustrates design of a conditional allele of Acvr1 R206H classic FOP mutant receptor gene. Mouse Exon 5 (e5 in isoform 001) is replaced with human exon 5 (in human ACVR1 isoform 003); a mouse mutant exon is simultaneously introduced in the antisense strand, together with a FRT'ed selection cassette (hUB-Neo); human e5 is flanked with loxP and lox2372 pointing East, and another loxP and Lox2372 sites are placed downstream of mouse e5(R206H) and deletion of the human e5, upon exposure to Cre, as detailed schematically in FIG. 1.

FIG. 3 illustrates activation of the Acvr1^([R206H]COIN) allele results in an FOP-like phenotype in mice genetically modified with the conditional allele.

FIG. 4 illustrates ectopic bone formation in genetically modified mice comprising the conditional allele induced in mice administered tamoxifen; an example of ectopic bone formation at the sternum is indicated in the right panel with white arrows. In the absence of tamoxifen (left panel), no ectopic bone formation is detected.

FIG. 5 provides another illustration of ectopic bone formation in genetically modified mice comprising the conditional allele induced in mice administered tamoxifen; an example of ectopic bone formation at the sternum is indicated in the right panel with white arrows. In the absence of tamoxifen (left panel), no ectopic bone formation is detected.

FIG. 6 provides yet another illustration of ectopic bone formation in genetically modified mice comprising the conditional allele induced in mice administered tamoxifen; an example of ectopic bone formation at the sternum is indicated in the right panel with white arrows. In the absence of tamoxifen (left panel), no ectopic bone formation is detected.

FIG. 7 illustrates control mice (left panels, ID 840095); and ectopic bone formation in genetically modified mice comprising the conditional allele induced in mice administered tamoxifen (Tamoxifen #2, ID:845202); top right panel shows ectopic bone formatoin at the sternebra; bottom right panel shows ectopic bone formation at the hip joint and the caudal vertebrae.

FIG. 8 illustrates ectopic bone formation at the sternebra (left panel) and the caudal vertebrae (right panel) for genetically modified mice comprising the conditional allele induced in mice administered tamoxifen (Tamoxifen #3, ID:915546).

FIG. 9 illustrates the absence of ectopic bone formation in genetically modified mouse comprising the conditional allele, induced with tamoxifen (Tamoxifen #4, ID:904067).

FIG. 10 illustrates ectopic bone formation at the sternebra (left panel) in genetically modified mice comprising the conditional allele induced by administration of tamoxifen (Tamoxifen #5, ID:840098).

FIG. 11 illustrates ectopic bone formation at the sternebra (left panel) and knee joint (right panel) in genetically modified mice comprising the conditional allele induced by administration of tamoxifen (Tamoxifen #6, ID:863713).

FIG. 12 illustrates primers and probes used in a loss of allele assay to genotype genetically modified mice comprising the conditional mutation in the Acvr1 gene; SEQ ID NOs are, from top to bottom: for the forward primer from top to bottom SEQ ID NO:1, SEQ ID NO:2; for the reverse primer from top to bottom SEQ ID NO:3, SEQ ID NO:4; for the probe SEQ ID NO:5, SEQ ID NO:6.

DETAILED DESCRIPTION

Fibrodysplasia ossificans progressiva (FOP) is an autosomal dominant disorder of ectopic bone formation. Linkage studies in affected families reveal that the FOP gene maps to chromosome 2q23-24 where a 617G-to-A mutation (R206-to-H) in the activation domain of activin A type I receptor gene (Acvr1) was found on all affected individuals examined in the studies (Shore et al., (2006) A recurrent mutation in the BMP type I receptor Acvr1 causes inherited and sporadic fibrodysplasia ossificans progressiva, Nat. Genet. 38:525-527), consistent with FOP being caused by constitutive activation of Acvr1 (Id.).

Genetically modified mice are provided that express an Acvr1 protein comprising a modification that results in a disorder characterized by ectopic bone formation, e.g., FOP. Mice expressing the modified Acvr1 protein include mice that are not chimeric, e.g., mice whose genomes carry a (conditional) modification of the Acvr1 protein that results in ectopic bone formation in a mouse that expresses the modified Acvr1 protein.

Certain mutations in the Acvr1 protein, e.g., the FOP-associated R206H mutation, are difficult if not impossible to create in the germline of mice due to embryonic or perinatal fatality associated with the mutation. Genetically modified mice are provided that comprise an COnditional-by-INversion (COIN) design that provides for a conditional inversion and removal of a wild-type exon and replacement of the wild-type exon with a mutant exon. This COIN design allows for forming a conditional allele by placement of a nucleic acid sequence encoding an inverted mutant exon to be placed next to a wild-type exon to be deleted. Through selection of recombinase recognition sites (RRS's), the inverted mutant exon is reversed to place it in reading frame whereas the wild-type exon is deleted. This COIN approach relies on the placement of incompatible RSS's (e.g., lox2372 and loxp) surrounding the wild-type and mutant exons. This COIN approach thus does not allow for expression of the (perinatal/embryonic) lethal mutation unless the COIN allele is acted upon by the selected recombinase(s). Another advantage of this COIN approach is permanent removal of the wild-type exon upon exposure to the selected recombinase, and thus no inverted repeat remains in the genome post-inversion. This is advantageous because it eliminates the possibility of re-inversion, because the remaining recombinase sites are incompatible (e.g., lox2372 and loxP). In this instance, humanization of the wild-type mouse exon also minimizes inverted repeat sequence, thus facilitating cloning steps and alleviating concerns of rearrangements during and after targeting.

If a mouse bearing the COIN allele is bred to a recombinase-containing mouse, the (perinatal/embryonic) lethal mutation will express in the progeny in utero, thus confounding the goal of making an animal that can be studied which expresses the allele. Therefore, the mouse bearing the COIN allele is not bred with an unregulated recombinase-containing mouse. Instead, the mouse is bred with a mouse that contains a Cre-ER protein that this modified with T2 mutations (a Cre-ER^(T2) mouse), or modified to contain a Cre-ER^(T2) allele. The Cre-ER^(T2) protein is a Cre protein modified with an estrogen receptor sequence that comprises T2 mutations that render the Cre protein inactive (see, Indra, A. et al. (1999) Temporally-controlled site-specific mutagenesis in the basal layer of the epidermis: comparison of the recombinase activity of the tamoxifen-inducible Cre-ER^(T) and Cre-ER^(T2) recombinases, Nucleic Acids Res. 27(22):4324-4327; Feil, R. et al. (1997) Regulation of Cre Recombinase Activity by Mutated Estrogen Receptor Ligand-Binding Domains, Biochem. Biophys. Res. Commun. 237:752-757; U.S. Pat. No. 7,112,715). A mouse comprising a conditional allele constructed with Cre-responsive RSS's as described herein, and containing a Cre-ER^(T2) allele, would therefore express the wild-type allele unless and until the mouse was exposed to tamoxifen to induce Cre activity. In this way, mice are made that contain a mutant Acvr1 allele in their germline but that do not express a mutant Acvr1 protein unless and until the mice are exposed to tamoxifen. Following exposure to tamoxifen, the Cre-ER^(T2) fusion protein is activated and the conditional allele converts to a mutant allele and, in various embodiments, the conversion to the mutant allele is irreversible, with deletion of the wild-type allele. In this manner, a mouse line containing an otherwise lethal Acvr1 mutation can be maintained essentially indefinitely, producing the desired genetic lesion and accompanying phenotype whenever desired. In various embodiments, a genetically modified mouse comprising the Acvr1 COIN allele is made by modifying a mouse ES cell to contain the COIN allele, and modifying the same ES cell to contain a gene encoding the tamoxifen-inducible Cre-ER^(T) or Cre-ER^(T2), and using the ES cell as a donor cell to make a mouse that contains the COIN allele and the modified Cre gene. All of the references cited herein are hereby incorporated by reference.

Engineering a Conditional ACVR1 Allele that is Germline Transmissible

In order to engineer a mouse model of Fibrodysplasia Ossificans Progressiva (FOP), the R206H “classic FOP” mutation of human Acvr1 (Shore et al. (2006)) was engineered into the corresponding mouse gene, Acvr1. This mutation has already been modeled non-conditionally in the mouse, but the resulting chimeric mice (arising from blastocyst microinjection of the targeted ES cells) were unable to transmit the mutation through the germline, presumably due to embryonic or perinatal lethality (Chakkalakal, S. A. et al. (2012) An Acvr1 R206H knock-in mouse had fibrodysplasia ossificans progressiva, J. Bone and Mineral Res. 27:1746-1756). Prior to knowledge of this phenotype, and based on the phenotype of Acvr1 homozygous-null mice, which reveals a profound role of Acvr1 during development (Mishina et al. (1999) Multiple roles for activin-like kinase-2 signaling during mouse embryogenesis, Dev. Biol. 212:314-326), it was decided to engineer the Acvr1^([R206H]) mutation in a conditional manner in the mouse, utilizing a variation on FlEx (Schnutgen, F. et al. (2003) A directional strategy for monitoring Cre-mediated recombination at the cellular level in the mouse, Nat. Biotech. 21:562-565) and COIN (U.S. Pat. No. 7,205,148) methodologies.

FlEx employs a pair of mutant Lox sites-referred to as a FlEx array—that are recognized by the same recombinase-Cre—but which to do not react with one another, and laid out in an A-B/[A-B] configuration, where the “[A-B]” is in the opposite strand with respect to “A-B”, to enable inversion of the DNA sequence flanked by the arrays. In its published embodiment, FlEx utilized sites LoxP and Lox511. Less known, however, is that in the presence of Cre a low level of recombination takes place between LoxP and Lox511. Therefore, different combinations of Lox site variants were tested, and the LoxP-Lox2372 combination were selected for the conditional allele described herein, because these two sites did not exhibit any cross-reactivity. An additional feature of FlEx is that the sequence that is contained within each array—i.e., between the LoxP and Lox2372 sites of each array-will be deleted upon action by Cre. The engineering of the allele of the invention (Acvr1^([R206H]COIN) allele) takes into account these two properties of FlEx. One embodiment of an conditional allele is illustrated in FIG. 2.

Mouse Acvr1 displays a variety of splice variants (e.g., 201, 202, 001, 003, 004). exon 5, which is mutated in FOP, is shared by all protein-coding splice variants of Acvr1. In one embodiment, the genetically modified mouse comprises a modification of exon 5 of an isoform selected from the group consisting of 201, 202, 001, 003, and 004.

The Acvr1^([R206H]COIN) allele was engineered by placing the mutant version of the R206-encoding exon of mouse Acvr1 (ENSMUSE00001021301) in the antisense strand, so that it is not incorporated into Acvr1's transcript. As the sequence encoded by exon 5 is required for Acvr1 function, this necessitated that an exon encoding for the wild type exon 5's sequence is also incorporated into the design (exon 5 is shared by all protein-coding splice variants of Acvr1). Furthermore, since exons are not recognized as such without accessory intronic sequences, both upstream and downstream of the exon had to be incorporated into both mutant and wild type R206-encoding exon. However, doing so would generate a large inverted repeat, and such DNA structures are inherently prone to recombination both during the genetic engineering steps required to build the targeting vector as well as post-targeting, in vivo (Holkers, M. et al. (2012) Nonspaced inverted DNA repeats are potential targets for homology-directed gene repair in mammalian cells, Nucleic Acids Res. 40:1984-1999). Furthermore, if the wild type mouse sequence of the R206-encoding exon and the upstream and downstream intronic sequence associated with it were retained intact, and precede the mutant exon, then this wild type region could act as a homology arm and be utilized during targeting in the mouse ES cells, thereby resulting in exclusion of the mutated exon from the targeted allele. Therefore, in order to address all these concerns the Acvr1^([R206H]COIN) allele was designed in a manner such that:

(a) A large inverted repeat is avoided. To accomplish this, the R206-encoding exon (ENSMUSE00001021301) as well associated upstream and downstream intronic sequences were replaced with the corresponding region from human ACVR1.

(b) The wild type mouse sequence of the R206-encoding exon (ENSMUSE00001021301) is preserved at the protein level. Given that the mouse and human protein sequence respectively encoded by exons ENSMUSE00001021301 and ENSE00001009618 differ by one amino acid, the human ENSE00001009618 exon sequence was altered so as to match the mouse protein sequence of exon ENSMUSE00001021301.

(c) The introduced human sequence is removed in its entirety upon action with Cre. Therefore, in the “conditional-on” state—where the Acvr1^([R206H]) mutant gene is transcribed-no human sequences remain and hence any resulting phenotype cannot be attributed to the presence of extraneous sequence.

More specifically, the region bounded by nucleotides 58474046 to 58474368 in mmuAcvr1 (i.e., nucleotides 58474046 to 58474368 of mouse Chromosome 2) where replaced with nucleotides 15863048 to 158630803 of hsaACVR1 (i.e., nucleotides 15863048 to 158630803 of human Chromosome 2), in a manner such that the introduced sequence, which includes hsaACVR1 exon ENSE00001009618 is transcribed as part of the resulting modified Acvr1^([R206H]COIN) locus. In addition, the coding sequence of the first amino acid of human exon ENSE00001009618 was replaced from aspartic acid (D) to glutamic acid (E) to correspond at the protein level to the exactly the same protein sequence as that encoded by mouse exon ENSMUSE00001021301. (This introduced human sequence is referred to hereafter as hsa_e5+.) Therefore, prior to inversion of the COIN element (mutated exon ENSMUSE00001021301 and associated upstream and downstream intronic sequences—see below), the resulting locus, Acvr1^([R26H]COIN), should function as wild type.

The R206H mutation was modeled by mutating exon ENSMUSE00001021301 in the corresponding position, by altering the codon defined by nucleotides 5847419 to 58474200 from CGC (coding for arginine) to CAC (coding for histidine). The resulting mutant exon, along with flanking intronic sequences upstream and downstream were placed 3′ to hsa_e5+ and in the antisense strand of mmuAcvr1, replacing nucleotides 58473775 to 58473879 of mmuAcvr1 in order to also create a small deletion and accommodate LOA probes (Gomez-Rodriguez, J. et al. (2008) Advantages of q-PCR as a method of screening for gene targeting in mammalian cells using conventional and whole BAC-based constructs, Nucleic Acids Res. 36:e117; Valenzuela, D. et al. (2003) High-throughput engineering of the mouse genome coupled with high-resolution expression analysis, Nat. Biotech. 21:652-659). (This introduced mutated mouse sequence is hereafter referred to as mmu_e5R206H+.)

In order to enable Cre-dependent inversion of the mmu_e5R206H+ and simultaneous deletion of hsa_e5+, a combination of FlEx like Lox arrays where used such that:

(a) hsa_e5+ is preceded by a LoxP site, and followed by a Lox2372 site. In this respect, hsa_e5+ is contained with the 5′ LoxP-Lox2372 FlEx-like array.

(b) mmu_e5R206H+ is followed by the 3′ LoxP-Lox2372 FlEx-like array, but this array is engineered such that it is in a mirror image configuration to 5′ LoxP-Lox2372 FlEx-like array. This enables permanent inversion of mmu_e5R206H+ into the sense strand by Cre.

When the resulting allele, Acvr1^([R206H]COIN) is exposed to Cre, the hsa_e5+ will be deleted and the mmu_e5R206H+ will be inverted into the sense strand. As a result, Acvr1^([R206H]) will be expressed in place of Acvr1.

Genetically modified mice were genotypes employing a loss of allele assay (see, e.g., Valenzuela et al., (2003), supra). Primers and probes were as shown in FIG. 12 (Table 5).

Phenotype of Acvr1^(R206HCOIN/+) mice

Acvr1^(R206HCOIN/+) mice are phenotypically normal but develop FOP after activation of the R206H conditional mutation.

Based on published results with a non-conditional, simple knock-in Acvr1 R206H chimeric mouse (Chakkalakal et al., 2012) as well as the fact that FOP is an autosomal-dominant disorder (for a review see (Pignolo et al., 2011)), it was hypothesized that:

(a) Unlike the non-conditional Acvr1^(R206H) allele (Chakkalakal et al., 2012), targeted ES cells for Acvr1^([R206H]COIN) will produce VELOCIMICE®, i.e., F0 mice that are entirely derived from the targeted ES cells (Poueymirou et al. (2007) F0 generation mice fully derived from gene-targeted embryonic stem cells allowing immediate phenotypic analyses, Nat. Biotech. 25:91-99).

(b) Unlike the non-conditional Acvr1^(R206H/+) chimeric mice (Chakkalakal et al., 2012), F0 Acvr1^([R206H]COIN/+) mice will be phenotypically normal, and will transmit the Acvr1^([R206H]COIN) allele to the next generation.

(c) Upon inversion of mutant exon bearing the R206H mutation into the sense strand—an action mediated by Cre recombinase—cells that have been converted to the Acvr1^([R206H]INV/+) genotype will express the mutant Acvr1^([R206H]) allele as well as the wild-type allele, mirroring the situation in FOP patients. Along the same lines, the resulting Acvr1^([R206H]INV/+) mice should overtime develop FOP-like symptoms.

All of these hypotheses were born out. For example, ES cell clone 1649C-A2 gave rise to 16 VELOCIMICE® out of 19 mice generated using that clone (Table 1).

TABLE 1 Acvr1^([R206H]COIN/+) ES Cells Give Rise Mainly to Male F0 Mice Wholly Derived from Donor ES Cells Mouse ID Chimerism (%) 1649C-A2/758470 100 1649C-A2/758471 100 1649C-A2/758472 100 1649C-A2/758473 100 1649C-A2/758474 100 1649C-A2/758475 100 1649C-A2/758476 100 1649C-A2/758477 100 1649C-A2/758478 100 1649C-A2/758479 100 1649C-A2/758480 100 1649C-A2/758481 100 1649C-A2/758482 100 1649C-A2/758483 100 1649C-A2/758484 100 1649C-A2/758485 100 1649C-A2/758486 80 1649C-A2/758487 70 1649C-A2/758488 30

Furthermore, these mice had no discernible phenotype and were able to reproduce and father Acvr1^([R206H]COIN/+) F1 generation mice (Table 2).

TABLE 2 F1 Mice Born to Acvr1^([R206H]COIN/+) F0 Fathers Clone Name/ID Genotype Gender 1649C-A2/2251A- 1649 Het M C6/840095 2251 Het 1649C-A2/2251A- 1649 Het M C6/840098 2251 Het 1649C-A2/2251A- 1649 Het M C6/845202 2251 Het 1649C-A2/2251A- 1649 Het F C6/845203 2251 Het 1649C-A2/2251A- 1649 Het F C6/845204 2251 Het 1649C-A2/2251A- 1649 Het F C6/845205 2251 WT 1649C-A2/2251A- 1649 Het F C6/845809 2251 WT 1649C-A2/2251A- 1649 Het F C6/863706 2251 WT 1649C-A2/2251A- 1649 Het F C6/863707 2251 WT 1649C-A2/2251A- 1649 Het M C6/863713 2251 Het 1649C-A2/2251A- 1649 Het M C6/863714 2251 WT 1649C-A2/2251A- 1649 Het F C6/897113 2251 WT 1649C-A2/2251A- 1649 Het F C6/897115 2251 WT 1649C-A2/2251A- 1649 Het F C6/897117 2251 Het 1649C-A2/2251A- 1649 Het M C6/904065 2251 WT 1649C-A2/2251A- 1649 Het M C6/904067 2251 Het 1649C-A2/2251A- 1649 Het F C6/904069 2251 WT 1649C-A2/2251A- 1649 Het M C6/904783 2251 WT 1649C-A2/2251A- 1649 Het F C6/904785 2251 WT 1649C-A2/2251A- 1649 Het F C6/907167 2251 WT 1649C-A2/2251A- 1649 Het M C6/915545 2251 WT 1649C-A2/2251A- 1649 Het M C6/915546 2251 Het 1649C-A2/2251A- 1649 Het F C6/964988 2251 Het 1649C-A2/2251A- 1649 Het F C6/964989 2251 Het F1 generation Acvr1^([R206H]COIN/+); Gt(ROSA26)Sor^(CerERt2/+) mice born to Acvr1^([R206H]COIN/+) F0 fathers

From a phenotypic standpoint, Acvr1^([R206H]COIN/+) mice appear normal, and display no discernible phenotypes. The same applies to Acvr1^([R206H]COIN/+); Gt(ROSA26)Sor^(CreERt2/+) mice, which in addition to the Acvr1^([R206H]COIN) allele also carry a CreER^(T2) transgene knocked into the Gt(ROSA26)Sor locus. This allows ubiquitous expression of an inactive version of Cre, one that is dependent upon tamoxifen for activation (Feil et al. (1997) Regulation of Cre recombinase activity by mutated estrogen receptor ligand-binding domains, Biochem. Biophys. Res. Commun. 237:752-757). This enables the activation of Cre at a specific point in time, and hence not only allows bypassing the embryonic lethality experienced with the conventional Acvr1^([R206H]) knock-in of but also empowers the investigator to choose the time of activation of the Acvr1^([R206H]) expression in the corresponding mice.

In order to investigate whether Acvr1^([R206H]COIN/+); Gt(ROSA26)Sor^(CreERt2/+) mice develop FOP after exposure to tamoxifen, we generated a small cohort and treated it with tamoxifen starting at approximately one year of age (Table 3); it is notable that by this age mice have completed their development, and therefore no modeling or development-related mechanisms are at play and therefore cannot contribute to the pathological process. Delivery of tamoxifen was by injection into the peritoneum using a 10 mg/mL solution in corn oil. Injections were performed daily for 8 days. In three mice (Mice 1, 2, and 3 of Table 3), a small piece of muscle was resected to induce injury.

TABLE 3 Protocol for Cre-Mediated Tamoxifen-Dependent Activation of Acvr1^([R206H]COIN) Allele in Acvr1^([R206H]COIN/+); Gt(ROSA26^()CreERt2/+) Mice Age at Sacri- Sacrifice Mouse Daily Start Start End fice Age Mouse ID Injection Day (yrs) Day Day (yrs) 1 840095 corn oil 1 0.9 8 143 1.3 2 845202 TAM* 1 0.9 8 143 1.3 3 915546 TAM 1 0.56 8 143 1.0 4 904067 TAM 1 0.61 8 143 1.0 5 840098 TAM 1 0.90 8 143 1.3 6 863713 TAM 1 0.80 8 143 1.2 TAM: tamoxifen

All but one of the tamoxifen-treated mice developed ectopic ossification, mirroring what has been observed in FOP (Table 4). Although the specific cell type(s) that might be contributing to the disease process were not determined in this experiment due to the fact that the expression of CreER^(t2) is ubiquitous (a property imparted by the fact that it is expressed from the Gt(ROSA26)Sor locus), one of the important aspects of this work is that it removes the developmental aspects of FOP (which are not those most important to FOP's pathology, as they do not contribute to the devastating loss in quality of life the FOP patients experience), and shows that the ectopic bone formation that is the major post-natal hallmark of FOP pathology is independent of developmental processes.

TABLE 4 Four Acvr1^([R206H]COIN/+); Gt(ROSA26)^(CreERt2/+) Mice Exposed to Tamoxifen Develop FOP-Like Skeletal Pathology Mouse Mouse ID Ectopic Bone Formation 1 840095 None* 2 845202 sternebra, hip joint, caudal vertebrae 3 915546 sternebra, hip joint, caudal vertebrae 4 904067 none 5 840098 sternebra 6 863713 sternebra, knee joint *Treated with corn oil (vehicle) only, not tamoxifen

Ectopic ossification is shown in images of genetically modified mice as described herein exposed to tamoxifen (which display ectopic ossification). Mice that are genetically modified as described herein but not exposed to tamoxifen do not display ectopic ossification See, e.g., FIG. 3, FIG. 4, FIG. 5, FIG. 6, FIG. 7, FIG. 8, FIG. 10, and FIG. 11. Ectopic ossification is demonstrated in a variety of body areas. As shown in FIG. 9, one mouse showed no apparent ectopic bone formation. 

1-7. (canceled)
 8. A set of oligonucleotides for detecting a loss of a ACVR1 allele in a genetically modified mouse comprising: a forward primer oligonucleotide, a reverse primer oligonucleotide, and a detection oligonucleotide, wherein the detection oligonucleotide is labelled, wherein the forward primer oligonucleotide and the reverse primer oligonucleotide are configured to amplify in an amplification reaction a mouse native ACVR1 nucleic acid sequence to generate an amplification product detectable by the detection oligonucleotide.
 9. The set of oligonucleotides of claim 8, wherein the forward primer oligonucleotide is SEQ ID NO:
 1. 10. The set of oligonucleotides of claim 8, wherein the forward primer oligonucleotide is SEQ ID NO:
 2. 11. The set of oligonucleotides of claim 8, wherein the reverse primer oligonucleotide is SEQ ID NO:
 3. 12. The set of oligonucleotides of claim 8, wherein the reverse primer oligonucleotide is SEQ ID NO:
 4. 13. The set of oligonucleotides of claim 8, wherein the probe oligonucleotide is SEQ ID NO:
 5. 14. The set of oligonucleotides of claim 8, wherein the probe oligonucleotide is SEQ ID NO:
 6. 15. The set of oligonucleotides of claim 8, wherein the forward primer oligonucleotide is SEQ ID NO: 1, the reverse primer oligonucleotide is SEQ ID NO: 3, and the detection oligonucleotide is SEQ ID NO
 5. 16. The set of oligonucleotides of claim 8, wherein the forward primer oligonucleotide is SEQ ID NO: 2, the reverse primer oligonucleotide is SEQ ID NO: 4, and the detection oligonucleotide is SEQ ID NO
 6. 17. A method for detecting a loss of an ACVR1 allele in a genetically modified mouse, the method comprising: performing a nucleic acid amplification assay on a sample from the genetically modified mouse using a set of oligonucleotides comprising a forward primer oligonucleotide, a reverse primer oligonucleotide, and a detection oligonucleotide, wherein the forward primer oligonucleotide and the reverse primer oligonucleotide are configured to amplify in an amplification reaction a mouse native ACVR1 nucleic acid sequence, and detecting a level of a amplification product with the detection oligonucleotide, wherein the presence of the amplification product at a level that corresponds to one gene copy number indicates that the mouse carries a targeted genetic modification.
 18. The method of claim 17, wherein the forward primer oligonucleotide is SEQ ID NO: 1 or SEQ ID NO:
 2. 19. The method of claim 17, wherein the reverse primer oligonucleotide is SEQ ID NO: 3 or SEQ ID NO:
 4. 20. The method of claim 17, wherein the detection oligonucleotide is SEQ ID NO: 5 or SEQ ID NO:
 6. 21. The method of claim 17, wherein the forward primer oligonucleotide is SEQ ID NO: 1, the reverse primer oligonucleotide is SEQ ID NO: 3, and the detection oligonucleotide is SEQ ID NO
 5. 22. The method of claim 17, wherein the forward primer oligonucleotide is SEQ ID NO: 2, the reverse primer oligonucleotide is SEQ ID NO: 4, and the detection oligonucleotide is SEQ ID NO
 6. 23. The method of claim 17, wherein the presence of the amplification product at a level that corresponds to two gene copies number indicates that the mouse carries a targeted genetic modification.
 24. The method of claim 17, wherein the targeted genetic modification is a conditional mutation in the Activin A receptor type 1 (Acvr1) gene.
 25. The method of claim 24, wherein the conditional mutation is a modified mouse Activin A receptor type 1 (Acvr1) gene comprising: i) a human exon 5 of the Acvr1 gene encoding glutamic acid at the first codon instead of aspartic acid in sense orientation flanked upstream and downstream by first pair of recombination recognition sites; and ii) a mutant exon 5 of a mouse Acvr1 gene comprising an R206H mutation in antisense orientation flanked upstream and downstream by second pair of recombination recognition sites that are different than the first pair of recombination recognition sites; wherein the first and second recombination recognition sites are oriented so that a recombinase can invert the mutant exon 5 into sense orientation, delete the human exon 5, and allow a mutant Acvr1 comprising the mutant exon 5 to be expressed resulting in ectopic bone formation.
 26. A genetically modified mouse whose genome comprises a modified mouse Activin A receptor type 1 (Acvr1) gene comprising: i) a human exon 5 of the Acvr1 gene encoding glutamic acid at the first codon instead of aspartic acid in sense orientation flanked upstream and downstream by first pair of recombination recognition sites; and ii) a mutant exon 5 of a mouse Acvr1 gene in antisense orientation flanked upstream and downstream by second pair of recombination recognition sites that are different than the first pair of recombination recognition sites; wherein the first and second recombination recognition sites are oriented so that a recombinase can invert the mutant exon 5 into sense orientation, delete the human exon 5, and allow a mutant Acvr1 comprising the mutant exon 5 to be expressed resulting in ectopic bone formation.
 27. The genetically modified mouse of claim 26, wherein the mutant exon 5 comprises an R206H mutation. 